type theory造句
例句與造句
- The handling of faults in the originals with newmark ' s text type theory is analyzed
用紐馬克的文本分類法來分析對不同原文失誤的處理策略。 - Application of statistical idea and the triple - type theory in the scientific research of biomedicine
統(tǒng)計學(xué)思想與三型理論在生物醫(yī)學(xué)科研中的應(yīng)用 - Lastly , the problem of software evolution caused by introducing agent model is studied based on an architecture description language named c2 adl and software architecture type theory
最后，基于c2adl和軟件體系結(jié)構(gòu)的類型理論，系統(tǒng)地研究了引入agent模型產(chǎn)生的軟件演化問題。 - A new approach to domain - specific reasoning is presented that is based on a type - theoretic logical framework but does not require the user to be an expert in type theory
本文提出一種新的基于類型理論邏輯框架lf的特定論域推理途徑lftop 。在此途徑下，用戶可以不必是類型理論方面的專家。 - Thus , the complexity of the logical framework is hidden but the benefits of using type theory and its related tools are retained , such as precision and machine - checkable proofs
由此,邏輯框架的復(fù)雜性就被隱藏起來了,同時我們還保留了精確性和機器驗證等使用類型理論系統(tǒng)及其相關(guān)工具的優(yōu)點。 - It's difficult to find type theory in a sentence. 用type theory造句挺難的
- The text type theory , which is an important breakthrough and a significant complement of the traditional translation " equivalence principle " , is based on the divisions of text functions
摘要文本類型理論建立在以文本功能為劃分標準的基礎(chǔ)之上，是對傳統(tǒng)翻譯等值觀的一個重要突破和重要補充。 - The theory makes a basic judge on the social type transformation process of present chinese society from traditional type to modern type , and becomes the foundation for the formation of new modernization type theory
這一研究形成了關(guān)于中國社會正處在由傳統(tǒng)型社會向現(xiàn)代型社會轉(zhuǎn)型過程的基本判斷，構(gòu)成了新型現(xiàn)代化理論的基礎(chǔ)。 - The paper applies algebraic geometry , computational geometry , approximation theory to study the following problems : the nother type theory and the riemann - roch type theory of the piecewise algebraic curve ; the number of real intersection points of piecewise algebraic curves ; the real piecewise algebraic variety and the b - net resultant of polynomials
本文應(yīng)用代數(shù)幾何，計算幾何，函數(shù)逼近論等學(xué)科的基本理論，分別就分片代數(shù)曲線的n ( ? ) ther型與riemann - roch型定理；分片代數(shù)曲線的實交點數(shù)；實分片代數(shù)簇以及多項式的b -網(wǎng)結(jié)式進行研究。